Definable principal congruences and solvability
نویسندگان
چکیده
منابع مشابه
Definable principal congruences and solvability
We prove that in a locally finite variety that has definable principal congruences (DPC), solvable congruences are nilpotent, and strongly solvable congruences are strongly abelian. As a corollary of the arguments we obtain that in a congruence modular variety with DPC, every solvable algebra can be decomposed as a direct product of nilpotent algebras of prime power size.
متن کاملVarieties with Definable Factor Congruences
We study direct product representations of algebras in varieties. We collect several conditions expressing that these representations are definable in a first-orderlogic sense, among them the concept of Definable Factor Congruences (DFC). The main results are that DFC is a Mal’cev property and that it is equivalent to all other conditions formulated; in particular we prove that V has DFC if and...
متن کاملStandard topological algebras: syntactic and principal congruences and profiniteness
A topological quasi-variety Q T ∼ ) := IScP + ∼ generated by a finite algebra ∼ with the discrete topology is said to be standard if it admits a canonical axiomatic description. Drawing on the formal language notion of syntactic congruences, we prove that Q T ∼ ) is standard provided that the algebraic quasi-variety generated by ∼ is a variety, and that syntactic congruences in that variety are...
متن کاملPrincipal Congruences of /7-algebras and Double /»-algebras
Principal congruence of pseudocomplemented lattices (= palgebras) and of double pseudocomplemented lattices (= double p-algebras), i.e. pseudocomplemented and dual pseudocomplemented ones, are characterized.
متن کاملWeakly regular algebras in varieties with principal compact congruences
Weakly regular algebras in varieties with principal compact congruences Ivan Chajda. Weakly regular algebras in varieties with principal compact congruences. Institute of Mathematics, Academy of Sciences of the Czech Republic, provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2009
ISSN: 0168-0072
DOI: 10.1016/j.apal.2008.09.019